Department of Computer Science, University of Oxford

Results: 170



#Item
41Unchain My EL Reasoner Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We study a restriction of the classification procedure for EL++ where

Unchain My EL Reasoner Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We study a restriction of the classification procedure for EL++ where

Add to Reading List

Source URL: ceur-ws.org

- Date: 2011-06-26 10:24:18
    42Transfer of status qualifying dissertation: a compositional approach to control theory Brendan Fong Department of Computer Science University of Oxford United Kingdom OX1 3QD

    Transfer of status qualifying dissertation: a compositional approach to control theory Brendan Fong Department of Computer Science University of Oxford United Kingdom OX1 3QD

    Add to Reading List

    Source URL: math.ucr.edu

    - Date: 2014-01-27 11:25:02
      43Fixed Parameter Tractable Reasoning in DLs via Decomposition František Simanˇcík, Boris Motik, and Markus Krötzsch Department of Computer Science, University of Oxford, UK 1

      Fixed Parameter Tractable Reasoning in DLs via Decomposition František Simanˇcík, Boris Motik, and Markus Krötzsch Department of Computer Science, University of Oxford, UK 1

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2011-06-26 10:22:20
        44Concurrent Classification of EL Ontologies Technical Report Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We describe an optimised conseq

        Concurrent Classification of EL Ontologies Technical Report Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We describe an optimised conseq

        Add to Reading List

        Source URL: korrekt.org

        - Date: 2012-03-20 09:42:10
          45Status QI O: An Update Birte Glimm1 , Yevgeny Kazakov1 , and Carsten Lutz2 1 The University of Oxford, Department of Computer Science, UK 2

          Status QI O: An Update Birte Glimm1 , Yevgeny Kazakov1 , and Carsten Lutz2 1 The University of Oxford, Department of Computer Science, UK 2

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 10:23:28
            46Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

            Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2011-06-28 16:30:18
              47Hierarchy in Generic Programming Libraries Jos´e Pedro Magalh˜aes1 and Andres L¨oh2 1 . Department of Computer Science, University of Oxford 2 . Well-Typed LLP

              Hierarchy in Generic Programming Libraries Jos´e Pedro Magalh˜aes1 and Andres L¨oh2 1 . Department of Computer Science, University of Oxford 2 . Well-Typed LLP

              Add to Reading List

              Source URL: dreixel.net

              - Date: 2015-07-26 08:12:32
                48University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

                University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

                Add to Reading List

                Source URL: concurrency.informatik.uni-kl.de

                - Date: 2016-06-10 12:02:33
                  49Recent Developments in FDR? Philip Armstrong, Michael Goldsmith, Gavin Lowe, Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {phila,michael,gavi

                  Recent Developments in FDR? Philip Armstrong, Michael Goldsmith, Gavin Lowe, Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {phila,michael,gavi

                  Add to Reading List

                  Source URL: www.cs.ox.ac.uk

                  - Date: 2012-07-26 22:40:05
                    50Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

                    Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2012-08-31 08:16:46